Bibliography
[1] Toby Segaran, Colin Evans, and Jamie Taylor, Programming the Semantic Web,
O’Reilly Media, Sebastopol, CA, 2009.
[2] Tim Berners-Lee and Mark Fischetti, Weaving the Web, HarperSanFrancisco, Chapter
12, 1999.
[3] Stephen Wolfram, The Mathematica Book, Wolfram Media, Incorporated, 2003.
[4] Brita Brudvig, Benjamin Fish, Solomon Garber, Max Jeter, Liwen Song, and Bob
McGrail, CSPs and Connectedness: P/NP-complete Dichotomy for Idempotent, Right
Quasigroups (2012).
[5] James Belk and Bob McGrail, The General Word Problem for Quandles is Undecid-
able (2012).
[6] Peter Golbus, Claudio Gutierrez, Bob McGrail, and Hannah Vallee, Quandles, Term
Rewriting Systems, and the Towers of Hanoi (2011).
[7] James Hendler, Tim Berners-Lee, and Eric Miller, Integrating Applications on the
Semantic Web, Journal of the Institute of Electrical Engineers of Japan Vol 122(10)
(2002), 676–680.
[8] W3C Team Submission. Turtle - Terse RDF Triple Language, http://www.w3.org/
TeamSubmission/turtle/. Accessed (April 24, 2013).
[9] W3C Recommendation. RDF/XML Syntax Specification (Revised), http://www.w3.
org/TR/rdf-syntax-grammar/. Accessed (April 24, 2013).
[10] The 9th International Conference on Mathematical Knowledge Management, http:
//cicm2010.cnam.fr/mkm/. Accessed (April 25, 2013).
[11] DML 2010, 3nd workshop/conference: Towards a Digital Mathematics Library, http:
//www.fi.muni.cz/
~
sojka/dml-2010.html\#topics. Accessed (April 25, 2013).
[12] OpenMath Website, http://www.openmath.org/index.html. Accessed (April 25,
2013).